1. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: (طهران)
موضوع: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
L28
Vol
.
2500
2. Automata, logics, and infinite games
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
3. Automata, logics, and infinite games
المؤلف: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
رده :
QA
,
76
.
9
,.
M35
,
A85
,
2002
4. Automata, logics, and infinite games
المؤلف: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
رده :
QA
76
.
9
.
M35
A85
2002
5. Elements of the theory of computation
المؤلف: / Harry R. Lewis, Christos H. Papadimitriou
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
6. Elements of the theory of computation
المؤلف: Lewis, Harry R
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Machine theory,Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
7. Elements of the theory of computation
المؤلف: / Harry R. Lewis, Christos H. Papadimitriou
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory,Formal languages,Computational complexity,Logic, Symbolic and mathematical
رده :
QA267
.
L49
1998
8. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: (طهران)
موضوع: Machine theory , Formal languages , Computational complexity , Logic, Symbolic and mathematical
رده :
QA
267
.
L49
1998
9. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
10. Elements of the theory of computation
المؤلف: Lewis, Harry R.
المکتبة: (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
11. Elements of the theory of computation
پدیدآورنده : Lewis, Harry R.
موضوع : ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
12. Elements of the theory of computation
المؤلف: Lewis, Harry R
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity,، Logic, Symbolic and mathematical
رده :
QA
267
.
L49
13. Elements of the theory of computation /
المؤلف: Harry R. Lewis, Christos H. Papadimitriou
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computational complexity,Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA267
.
L49
1998
14. Elements of the theory of computation /Harry R. Lewis, Christos H. Papadimitriou.
المؤلف:
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Machine theory.,Formal languages.,Computational complexity.,Logic, Symbolic and mathematical.
رده :
QA
267
.
L49
2007
15. Finite automata, formal logic, and circuit complexity
المؤلف: Straubing, Howard, 2591-
المکتبة: (طهران)
موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77
16. Logic and automata
المؤلف: / edited by Jeorg Flum, Erich Greadel, Thomas Wilke
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Machine theory.,Logic, Symbolic and mathematical.,Computer science--Mathematics,Computational complexity.
رده :
QA
,
267
,.
L624
,
2008
17. Logic and automata
المؤلف:
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Machine theory. ; Logic, Symbolic and mathematical. ; Computer science ; Mathematics. ; Computational complexity. ;
18. Logic, computers, and sets
المؤلف: Wang, Hao, 1291-5991
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Machine theory
رده :
QA
9
.
W35
1970
19. Logic functions and equations :
المؤلف: Christian Posthoff, Bernd Steinback.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.,Algebra, Boolean.,Logic, Symbolic and mathematical.,Machine theory.
رده :
QA10
.
3
.
P67
2019
20. Mathematical foundations of programming /
المؤلف: Frank S. Beckman
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Formal languages,Logic, Symbolic and mathematical,Machine theory
رده :
QA9
.
B36
